Search
Search Results
-
Computational Thinking First Algorithms, Then Code
This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and how they can be coded to solve...
-
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria,...
-
String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23–25, 2024, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on String Processing and Information Retrieval, SPIRE 2024, held...
-
Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9–11, 2024, Proceedings
This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany,...
-
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3–6, 2024, Proceedings
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The...
-
Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1–6, 2024, Proceedings
This book constitutes the refereed proceedings of the 22nd International Conference on Business Process Management, BPM 2024, which took place in...
-
Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings
This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took...
-
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal,...
-
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place...
-
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...
-
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...
-
Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2021, held...
-
Intelligent Optimization Principles, Algorithms and Applications
This textbook comprehensively explores the foundational principles, algorithms, and applications of intelligent optimization, making it an ideal...
-
Advances in Neural Networks – ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11–14, 2024, Proceedings
This volume constitutes the refereed proceedings of the 18th International Symposium on Neural Networks, ISNN 2024, held in Weihai, China, during...
-
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The...
-
Economics and Computation An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division
This textbook connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social...
-
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings
This book constitutes the refereed proceedings of the 35th International Workshop on Combinatorial Algorithms, IWOCA 2024, held in Ischia, Italy,...
-
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22–24, 2024, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna,...
-
Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings
This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO...
-
The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part I
The two-volume set LNCS 14664 and 14665 constitutes the refereed proceedings of the 21st International Conference on The Semantic Web, ESWC 2024,...
